11![ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l](https://www.pdfsearch.io/img/5bfb44432c3ee6f2428afae6e966ffac.jpg) | Add to Reading ListSource URL: logic.cs.tsukuba.ac.jpLanguage: English - Date: 2011-09-18 11:21:43
|
---|
12![Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov](https://www.pdfsearch.io/img/c626b393eb053a758f914ae054d2b8fb.jpg) | Add to Reading ListSource URL: okmij.orgLanguage: English - Date: 2007-12-01 03:56:46
|
---|
13![On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger](https://www.pdfsearch.io/img/78342adb640726aef7c05c1298d81401.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2004-11-15 14:07:24
|
---|
14![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/0d30ed9bd1833cce38146191d0500467.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:52
|
---|
15![Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole](https://www.pdfsearch.io/img/51f62c6bc5d86625beb328c6357c08c5.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2013-04-07 11:25:49
|
---|
16![&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&](https://www.pdfsearch.io/img/bf74ac8432f6ba2137e684ebe4bdaa90.jpg) | Add to Reading ListSource URL: www.kurims.kyoto-u.ac.jpLanguage: English - Date: 2011-11-05 07:38:23
|
---|
17![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/e784f8d7a877b1ddbcda6988d5fbe09a.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:47
|
---|
18![Proofs in theories Gilles Dowek Draft, September 2013
2 Proofs in theories Gilles Dowek Draft, September 2013
2](https://www.pdfsearch.io/img/77a9d8d2544a63e09f08e143772d8c14.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2015-05-25 05:47:28
|
---|
19![](https://www.pdfsearch.io/img/243df5111574dc85baf2c8f839e10eea.jpg) | Add to Reading ListSource URL: www.dsi.unive.itLanguage: English - Date: 2009-01-23 08:18:41
|
---|
20![Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic](https://www.pdfsearch.io/img/9fa5e2b6c062d9b6412102028a08003d.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2013-05-30 11:20:39
|
---|